An Integration of Partial Evaluation in a Generic Abstract Interpretation Framework
نویسندگان
چکیده
Interpretation Framework Germ an Puebla and Manuel Hermenegildo Department of Computer Science Technical University of Madrid (UPM) fgerman,[email protected] John P. Gallagher Department of Computer Science University of Bristol
منابع مشابه
An Integration of Partial Evaluation in a
Information generated by abstract interpreters has long been used to perform program specialization. Additionally, if the abstract interpreter generates a multivariant analysis, it is also possible to perform multiple specialization. Information about values of variables is propagated by simulating program execution and performing xpoint computations for recursive calls. In contrast, traditiona...
متن کاملA Generic Framework for the Analysis and Specialization of Logic Programs
The relationship between abstract interpretation and partial deduction has received considerable attention and (partial) integrations have been proposed starting from both the partial deduction and abstract interpretation perspectives. In this work we present what we argue is the first fully described generic algorithm for efficient and precise integration of abstract interpretation and partial...
متن کاملAnalysis and Optimisation of Active Database Rules Using Abstract Interpretation and Partial Evaluation
Active databases provide reactive functionality by supporting event-conditionaction rules (also known as triggers). Two key issues in active databases are analysis and optimisation of such rules. In this paper we describe how abstract interpretation and partial evaluation can be applied to these tasks, demonstrating that they provide a useful framework that both encompasses various existing dat...
متن کاملAdvanced programming concepts in a course on grammars and parsing
One of the important goals of the Computer Science curriculum at Utrecht University is to familiarize students with abstract programming concepts such as, for example, partial evaluation and deforestation. A course on grammars and parsing offers excellent possibilities for exemplifying and introducing such concepts. We have developed a course that exemplifies higher-order functions and lazy eva...
متن کاملMultivariant Non-failure Analysis via Standard Abstract Interpretation
Non-failure analysis aims at inferring that predicate calls in a program will never fail. This type of information has many applications in functional/logic programming. It is essential for determining lower bounds on the computational cost of calls, useful in the context of program parallelization, instrumental in partial evaluation and other program transformations, and has also been used in ...
متن کامل